1. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses

رده :
TK
7874
.
75
.
I45
1997

2. Automatic verification of sequential infinite-state processes

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computer software -- Verification,، Software engineering

رده :
QA
76
.
L28
Vol
.
1354

3. Data flow analysis :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Compilers (Computer programs) ; Data flow computing ; Software engineering ; Computer software ; Verification ;

4. Data flow analysis

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Compilers (Computer programs),Computer software-- Verification.,Data flow computing.,Software engineering.,Compilers (Computer programs),Computer software-- Verification.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Data flow computing.,Software engineering.

5. Empirical software engineering and verification

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Verification, Congresses,Software engineering, Congresses

رده :
QA76
.
758
.
E47
2011eb

6. Formal Methods for Industrial Critical Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها

رده :
QA
76
.
9
.
F6
2015
E-Book
,

7. Foundations of computer software

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses

رده :
QA76
.
76
.
D47
M66
2011

8. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering

رده :
QA
76
.
76
.
D47
.
M666
2011

9. Fundamental approaches to software engineering

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses

رده :
QA76
.
758
.
F44
2012eb

10. Languages, Design Methods, and Tools for Electronic System Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره‌ها

رده :
E-Book
,

11. Languages, design methods, and tools for electronic system design.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

رده :
QA
76
.
9
.
L325
2016
E-Book
,

12. Model Checking Software

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering,نرم‌افزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها

رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,

13. Software engineering analysis and verification

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)

موضوع : ، Software engineering,، Computer software -- Verification

رده :
QA
76
.
6
.
L477

14. Software engineering reviews and audits

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Software engineering,Computer software, Validation,Computer software, Verification

رده :
QA
،
76
.
758
،.
S86
،
2011

15. Software engineering reviews and audits

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software

رده :
QA
76
.
758
.
S86
2011

16. Software engineering reviews and audits

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software

رده :
QA
76
.
758
.
S86
2011

17. Verification, Model Checking, and Abstract Interpretation.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,نر‌م‌افزار -- راستی‌آزمایی

رده :
.
V4
2016
E-Book
,

18. Verification, Model Checking, and Abstract Interpretation

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نر‌م‌افزار -- راستی‌آزمایی -- کنگره ها ,نرم‌افزار -- مهندسی-- کنگره‌ها

رده :
QA
76
.
76
.
V47
2015
E-Book
,